$\forall$${\it es}$:ES, $P$, $Q$, $R$:(E$\rightarrow\mathbb{P}$), $f$:(\{$e$:E$\mid$ $P$($e$)\} $\rightarrow$\{$e$:E$\mid$ $Q$($e$)\} ), $g$:(\{$e$:E$\mid$ $Q$($e$)\} $\rightarrow$\{$e$:E$\mid$ $R$($e$)\} ).
\\[0ex]($Q$ $\leftarrow$==$f$== $P$ \& $R$ $\leftarrow$==$g$== $Q$) $\Rightarrow$ $R$ $\leftarrow$==$g$ o $f$== $P$